BorrowAsRef

borrow-and-asref.md


commit 23a7a7bdb6a6a43cd7efdd9176b1d3f75d9d0e70

BorrowAsRef特性非常相似。这是一个快速的关于这两个特性意义的复习。

Borrow

Borrow特性用于当你处于某种目的写了一个数据结构,并且你想要使用一个要么拥有要么借用的类型作为它的同义词。

例如,HashMap有一个用了Borrowget方法

  1. fn get<Q: ?Sized>(&self, k: &Q) -> Option<&V>
  2. where K: Borrow<Q>,
  3. Q: Hash + Eq

这个签名非常复杂。k参数是我们感兴趣的。它引用了一个HashMap自身的参数:

  1. struct HashMap<K, V, S = RandomState> {

k参数是HashMap用的key类型。所以,再一次查看get()的签名,我们可以在键实现了Borrow<Q>时使用get()。这样,我们可以创建一个HashMap,它使用String键,不过在我们搜索时使用&str

  1. use std::collections::HashMap;
  2. let mut map = HashMap::new();
  3. map.insert("Foo".to_string(), 42);
  4. assert_eq!(map.get("Foo"), Some(&42));

这是因为标准库中有impl Borrow<str> for String(为 String 实现了Borrow)。

对于多数类型,当你想要获取一个自我拥有或借用的类型,&T就足够了。不过当有多于一种借用的值时,Borrow就能起作用了。引用和slice就是一个能体现这一点的地方:你可以有&[T]或者&mut [T]。如果我们想接受这两种类型,Borrow就是你需要的:

  1. use std::borrow::Borrow;
  2. use std::fmt::Display;
  3. fn foo<T: Borrow<i32> + Display>(a: T) {
  4. println!("a is borrowed: {}", a);
  5. }
  6. let mut i = 5;
  7. foo(&i);
  8. foo(&mut i);

这会打印出a is borrowed: 5两次。

AsRef

AsRef特性是一个转换特性。它用来在泛型中把一些值转换为引用。像这样:

  1. let s = "Hello".to_string();
  2. fn foo<T: AsRef<str>>(s: T) {
  3. let slice = s.as_ref();
  4. }

我应该用哪个?

我们可以看到它们有些相似:它们都处理一些类型的自我拥有和借用版本。然而,它们还是有些不同。

选择Borrow当你想要抽象不同类型的借用,或者当你创建一个数据结构它把自我拥有和借用的值看作等同的,例如哈希和比较。

选择AsRef当你想要直接把一些值转换为引用,和当你在写泛型代码的时候。